Fix the 64-bit build.
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 25 Jan 2006 18:09:28 +0000 (19:09 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 25 Jan 2006 18:09:28 +0000 (19:09 +0100)
commit448a872b2f9befbe96e3cab1414ffe8b7e94555f
tree85bd820e234df4a2a9e3b6b55a123865a347fc17
parenta365040987333f21ec77deb7aa474173f08a6afa
Fix the 64-bit build.

Signed-off-by: Keir Fraser <keir@xensource.com>
xen/arch/x86/x86_32/entry.S
xen/arch/x86/x86_64/entry.S
xen/include/xen/sched.h